Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
241	A taste of linear logic? Philip Wadler Department of Computing Science, University of Glasgow, G12 8QQ, Scotland () Abstract. This tutorial paper provides an introduction to intuitionistic Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-06-16 06:24:47 Mathematics Deduction Natural deduction Curry–Howard correspondence Monotonicity of entailment Deduction theorem Linear logic Orbifold Sequent calculus Logic Proof theory Mathematical logic
242	A Efficiently Deciding µ-calculus with Converse over Finite Trees ` , CNRS Pierre Geneves Nabil Laya¨ıda, Inria Alan Schmitt, Inria Add to Reading List Source URL: tocl.acm.org Language: English - Date: 2015-02-04 13:59:05 Formal languages Logical syntax Model theory Linear temporal logic Well-formed formula Interpretation Function Computation tree logic Logic programming Logic Metalogic Temporal logic
243	A Simple Linear Algorithm for Computing Rectangular 3-Centers Michael Homann Institut fur Theoretische Informatik ETH Zurich Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2003-06-20 16:01:37 Mathematical logic Theoretical computer science Numerical linear algebra Mathematics Algorithm
244	Int. J. Systems Sci., 1970, vol. 1, No. 2, EVERY GOOD REGULATOR OF A SYSTEM MUST BE A MODEL OF THAT SYSTEM1 Roger C. Conant Department of Information Engineering, University of Illinois, Box 4348, Chicago, Add to Reading List Source URL: pcp.vub.ac.be Language: English - Date: 2014-05-02 12:20:11 Entropy Information Linear temporal logic Μ operator Information theory Symbol Constructible universe
245	The Euler equations in fluid mechanics Jordan Bell Department of Mathematics, University of Toronto April 14, 2014 Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2014-04-14 20:22:37 Wave equation Divergence Sheaf Euler equations Continuity equation Linear temporal logic Heat equation Calculus Mathematical analysis Multivariable calculus
246	PDF Document Add to Reading List Source URL: www.psi.toronto.edu Language: English - Date: 2014-04-30 16:04:07 NP-complete problems Probability theory Operations research Belief propagation Coding theory Fourier transform Combinatory logic Dominating set Linear programming Theoretical computer science Mathematics Applied mathematics
247	Field Theoretical Approach to the Conservation of Identity of a Complex Network System Masahiro Agu Fukushima National College of Technology, 30 Nagao, Kamiarakawa, Taira, Iwaki, Fukushima, , Japan Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:40 Partial differential equations Probability current Magnetic potential Linear temporal logic Wightman axioms Physics Quantum mechanics Quantum field theory
248	Integer Point Sets Minimizing Average Pairwise ℓ1 Distance: What is the Optimal Shape of a Town? Erik D. Demaine∗ S´ andor P. Fekete† Add to Reading List Source URL: cccg.ca Language: English - Date: 2009-09-02 14:33:35 Operations research Optimal control Systems engineering Systems theory Systems science Mathematics Linear temporal logic Dynamic programming Equations Mathematical optimization
249	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-10-18 12:19:38 Operations research Linear algebra Axiom Algorithm Function Euclidean geometry Logic programming Mathematical optimization Vector space Mathematics Algebra Mathematical logic
250	On solving mixed-integer constraint satisfaction problems with unbounded variables Hermann Schichl? , Arnold Neumaier, Mih´ aly Csaba Mark´ot, and Ferenc Domes Faculty of Mathematics, University of Vienna, Austria Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2013-01-14 04:38:39 Computing Constraint satisfaction Local consistency Mathematical optimization Projective space Transcendental number Linear programming Constraint logic programming Constraint programming Software engineering Computer programming

UPDATE